#include <myOs/debug.h>

#define LOGK(fmt, args...) DEBUGK(fmt, ##args)

extern void interrupt_init();
extern void memory_map_init();
extern void mapping_init();
extern void clock_init();
extern void hang();
extern void memory_test();
// extern void time_init();
// extern void rtc_init();
// extern void set_alarm();

void kernel_init()
{
    memory_map_init();
    mapping_init();
    interrupt_init();
    // clock_init();
    // time_init();
    // rtc_init();
    // set_alarm(2);

    BMB;

    memory_test();

    hang();
}